Fibrancy of partial model categories
نویسندگان
چکیده
منابع مشابه
From Partial Model Categories to ∞-categories
In this article we study the problem of extracting an ∞-category from a relative category. We introduce partial model categories, which are relative categories that satisfy mild versions of the axioms of a model category. Since these axioms involve only the weak equivalences, they are general enough to include the vast majority of the relative categories one encounters in practice. We show that...
متن کاملRestriction categories I: categories of partial maps
Given a category with a stable system of monics, one can form the corresponding category of partial maps. To each map in this category there is, on the domain of the map, an associated idempotent, which measures the degree of partiality. This structure is captured abstractly by the notion of a restriction category, in which every arrow is required to have such an associated idempotent. Categori...
متن کاملCategories of Partial Frames
This article discusses the basic categorical algebra for categories of partial frames. Categories of partial frames are labelled by subset selectors that indicate which joins exist. Constructions for limits, colimits, and free functors connecting various categories of partial frames are given. Examples of partial frame categories are given. Subset selectors which preserve surjections are virtua...
متن کاملRelevant Categories and Partial Functions
A relevant category is a symmetric monoidal closed category with a diagonal natural transformation that satisfies some coherence conditions. Every cartesian closed category is a relevant category in this sense. The denomination relevant comes from the connection with relevant logic. It is shown that the category of sets with partial functions, which is isomorphic to the category of pointed sets...
متن کاملCategories of Locally Diagonal Partial Algebras
We define and study the property of local diagonality for partial algebras and also a pair of related properties. We show that each of the three properties, together with idempotency, gives a cartesian closed initially structured subcategory of the category of all partial algebras of a given type. MSC 2000: 08A55, 08C05, 18D15
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Homology, Homotopy and Applications
سال: 2015
ISSN: 1532-0073,1532-0081
DOI: 10.4310/hha.2015.v17.n2.a5